differentiable immersion

微分浸入